Polarity-pragma.agda:69,8-25
Instance arguments whose type does not end in a named or variable
type are never considered by instance search, so having an instance
argument ⦃ _ : Set ⦄ has no effect.
when checking that the expression ⦃ _ : Set ⦄ → Set is a type

———— All done; warnings encountered ————————————————————————

Polarity-pragma.agda:69,8-25
Instance arguments whose type does not end in a named or variable
type are never considered by instance search, so having an instance
argument ⦃ _ : Set ⦄ has no effect.
when checking that the expression ⦃ _ : Set ⦄ → Set is a type
